EN FR
EN FR




Section: Dissemination

Teaching

  • Master : Dale Miller taught 12 hours at MPRI (Master Parisien de Recherche en Informatique) in the Course 2-1: Logique linéaire et paradigmes logiques du calcul.

  • Master : Dale Miller taught 20 hours in a graduate course at the University of Pisa for two weeks, 12 - 23 September.

  • Master : Dale Miller taught 6 hours in a graduate course at the ISCL: International School on Computational Logic, Bertinoro, 10-15 April 2011.

PhD & HdR :

  • HdR : Lutz Straßburger, “Towards a Theory of Proofs of Classical Logic” [11] , Université Paris VII, January 7, 2011

  • PhD in progress :

    1. Ivan Gazeau, since October 2009, co-supervisor: Dale Miller

    2. Nicolas Guenot, “Nested Deduction as Foundation for Computation”, since September 2008, supervisor: Lutz Straßburger

    3. Mahfuza Farooque, since October 2010, co-supervisor: Stéphane Lengrand

    4. Anne-Laure Schneider, since September 2010, supervisor: Dale Miller

    5. Hernán Vanzetto, since March 2011, co-supervisor: Kaustuv Chaudhuri